341. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
342. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
343. Planetary spacecraft navigation /
پدیدآورنده : James Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
344. Power Algebras over Semirings
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
345. Practical graph mining with R /
پدیدآورنده : editors, Nagiza F. Samatova, William Hendrix, John Jenkins, Kanchana Padmanabhan, Arpan Chakraborty
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data mining-- Graphic methods,Information visualization-- Data processing,R (Computer program language)
رده :
QA76
.
9
.
D343
P725
2014
346. Principles of mathematical economics /
پدیدآورنده : by Shapoor Vali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economics, Mathematical
رده :
HB135
347. Probabilistic Constrained Optimization
پدیدآورنده : edited by Stanislav P. Uryasev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
348. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
349. Probabilistic and Stochastic Methods in Analysis, with Applications
پدیدآورنده : edited by J. S. Byrnes, Jennifer L. Byrnes, Kathryn A. Hargreaves, Karl Berry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distribution (Probability theory).,Fourier analysis.,Mathematics.,Systems theory.
350. Probability Model
پدیدآورنده : / by John Haigh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Computer simulation,Distribution (Probability theory),Operations research,Electronic books
رده :
E-BOOK
351. Probability with applications and R /
پدیدآورنده : Robert P. Dobrow (Department of Mathematics, Carleton College, Northfield, MN).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Probabilities-- Data processing.,R (Computer program language),MATHEMATICS / Probability & Statistics / General.,Probabilities-- Data processing.,R (Computer program language),R.,Wahrscheinlichkeitsrechnung.,Wahrscheinlichkeitstheorie.
352. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده : edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
353. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :
پدیدآورنده : editor, Ardéshir Guran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.
رده :
TA354
.
I565
1998eb
354. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده : Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
355. Programming with Turing and Object Oriented Turing /
پدیدآورنده : by Peter Grogono.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer science.
رده :
QA76
.
7-76
.
73
356. Progress in Industrial Mathematics at ECMI 2000
پدیدآورنده : edited by Angelo Marcello Anile, Vincenzo Capasso, Antonio Greco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Engineering.,Finance.,Mathematical physics.,Mathematics.
357. Proofs from THE BOOK
پدیدآورنده : by Martin Aigner, Günter M. Ziegler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
358. Proofs from THE BOOK /
پدیدآورنده : by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.
رده :
QA39
.
3
.
A36
2018eb
359. Proofs from THE BOOK
پدیدآورنده : by Martin Aigner, Günter M. Ziegler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
360. QCA with R :
پدیدآورنده : Adrian Duşa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics-- Data processing.,R (Computer program language),Mathematical statistics-- Data processing.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Political science & theory.,R (Computer program language),Social research & statistics.
رده :
QA276
.
45
.
R3
